Proof Engineering, From The Four Colour To The Odd Order Theorem

Proof Engineering, from the Four Colour to the Odd Order Theorem

Microsoft Research

The Four Color Map Theorem - Numberphile

The Four Color Theorem - What Counts as a Proof?

BPR programme: participant Georges Gonthier explains "Four colour theorem"

Isaac Newton Institute for Mathematical Sciences

CSSE Lecture: The Proof of the Four Colour Theorm (Audio Only)

University of Newcastle CESE

Mechanizing the Odd Order Theorem: Local Analysis - Georges Gonthier

Institute for Advanced Study

The 4 Colour Theorem Explained

The Science Biome

Four Color Theorem JV Math 420

2 - Kick-off afternoon : Georges Gonthier, Digitizing the Group Theory of the Odd Order Theorem

Institut Henri Poincaré

Georges Gonthier: the four colour theorem

RU Computer Science

The Four Colour Theorem

Four Color Map Problem: A Common Sense Proof

The Four-Colour Theorem

Graph Theory 8: Four Color Theorem (Kempe's Proof)

Math at Andrews University

Four Colors, ANY Map!

Benjamin Hershey

The Five Color Theorem (without Kempe chains)

Four Color Theorem via Gauge Theory and Three Manifold Topology - Tom Mrowka [2016]

Graduate Mathematics

A simple "proof" of the Four Color Theorem (April fool's day video)

How to Prove Math Theorems | 1st Ex: Even + Odd = Odd

Dr. Trefor Bazett

The magic of Fibonacci numbers | Arthur Benjamin | TED

TED